Finite automata - PDFSEARCH.IO - Document Search Engine

Finite automata
Results: 673

#	Item
301	Toward a Structure Theory of Regular Infinitary Trace Languages? Namit Chaturvedi?? RWTH Aachen University, Lehrstuhl f¨ ur Informatik 7, D[removed]Aachen [removed] Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2014-04-16 12:46:55 Muller automaton Mathematics Representation theory of finite groups Mathematical analysis Remarkable cardinal Automata theory Ω-automaton Symbol
302	Infinite games and automata theory ¨ Christof Loding RWTH Aachen, Germany Spring School 2009 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:55 Mathematics Ω-automaton Automata theory Sequence Finite-state machine
303	Microsoft Word - 03-Lexical-Analysis.doc Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 16:58:22 Computing Nondeterministic finite automaton Lexical analysis Powerset construction Deterministic finite automaton Regular expression Finite-state machine Formal language Regular language Automata theory Programming language implementation Theoretical computer science
304	Synthesizing Structured Reactive Programs via Deterministic Tree Automata Benedikt Br¨utsch RWTH Aachen University, Lehrstuhl f¨ur Informatik 7, Germany [removed] Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-05-15 08:25:21 Applied mathematics Ω-automaton Algorithm Tree automaton Finite-state machine Automata theory Theoretical computer science Computer science
305	Learning Universally Quantified Invariants of Linear Data Structures Pranav Garg1 , Christof L¨oding2 , P. Madhusudan1 , and Daniel Neider2 1 University of Illinois at Urbana-Champaign Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-08-07 05:31:08 Automata theory Models of computation Logic in computer science Formal methods Computability theory Satisfiability Modulo Theories Lookup table Deterministic finite automaton Decision problem Theoretical computer science Applied mathematics Mathematics
306	, , 1?? () c Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Automata Based Symbolic Reasoning in Hardware Verication * DAVID BASIN Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:47:13 Formal languages Predicate logic Boolean algebra Automata theory Propositional variable Binary decision diagram FO Finite-state machine Well-formed formula Logic Mathematics Mathematical logic
307	Aachen Department of Computer Science Technical Report Languages of Infinite Traces and Deterministic Asynchronous Automata Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2014-02-18 06:46:59 Ω-automaton Representation theory of finite groups Automata theory Symbol Muller automaton
308	Playing Pushdown Parity Games in a Hurry Wladimir Fridman Martin Zimmermann Chair of Computer Science 7 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-07-12 10:32:22 Graph theory Combinatorics Finite model theory Game theory Parity game Models of computation End Determinacy Graph Mathematics Theoretical computer science Automata theory
309	Improving the Capabilities of JFLAP Creating Effective User Interfaces in Learning for Theoretical Computer Science Ian C. McMahon Computer Science Department Duke University Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2014-06-16 14:48:07 Theoretical computer science Computer science Finite-state machine Deterministic finite automaton Nondeterministic finite automaton Deterministic pushdown automaton Turing machine Mealy machine Algorithm Models of computation Theory of computation Automata theory
310	A COMPARATIVE ANALYSIS OF DYNAMIC NETWORK DECODING David Rybach, Ralf Schl¨uter, Hermann Ney Human Language Technology and Pattern Recognition, Computer Science Department, RWTH Aachen University, 52056 Aachen, Germany Add to Reading List Source URL: www-i6.informatik.rwth-aachen.de Language: English Finite state transducer Computer science Applied mathematics Computational linguistics Speech recognition Decoder Finite-state machine WFST Algorithm Automata theory Models of computation Theoretical computer science

UPDATE